Linear logic by levels and bounded time complexity
نویسندگان
چکیده
منابع مشابه
Linear logic by levels and bounded time complexity
This work deals with the characterization of elementary and deterministic polynomial time computation in linear logic through the proofs-asprograms correspondence. Girard’s seminal results, concerning elementary and light linear logic, use a principle called stratification to ensure the complexity bound on the cut-elimination procedure. Here, we propose a more flexible control principle, that o...
متن کاملBounded Linear Logic, Revisited
We present QBAL, an extension of Girard, Scedrov and Scott’s bounded linear logic. The main novelty of the system is the possibility of quantifying over resource variables. This generalization makes bounded linear logic considerably more flexible, while preserving soundness and completeness for polynomial time. In particular, we provide compositional embeddings of Leivant’s RRW and Hofmann’s LF...
متن کاملBounded Linear Logic
A typed, modular paradigm for polynomial time computation is proposed. Comments University of Pennsylvania Department of Computer and Information Sciences Technical Report No. MSCIS-91-59. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/338 Bounded Linear Logic: A Modular Approach to Polynomial Time Computability MS-CIS-91-59 LOGIC & COMPUTATION 3...
متن کاملBounded Model Checking for Linear Time Temporal-Epistemic Logic
We present a novel approach to the verification of multi-agent systems using bounded model checking for specifications in LTLK, a linear time temporal-epistemic logic. The method is based on binary decision diagrams rather than the standard conversion to Boolean satisfiability. We apply the approach to two classes of interpreted systems: the standard, synchronous semantics and the interleaved s...
متن کاملthe relationship between individual versus pair writing tasks and levels of fluency, complexity and accuracy in efl writing by iranian learners
پژوهش کنونی با هدف مطالعه رابطه بین نوشتار بصورت انفرادی و گروهی با میزان دقت، پیچیدگی و سلاست دانش آموزان زبان انگلیسی حین نگارش متون انجام شده است. بمنظور دستیابی به این هدف، دو گروه از دانش آموزان مقطع متوسطه موسسه زبان کیش انتخاب شده و سپس از آنها خواسته شد تا 6 متن را با 6 موضوع متفاوت و طی 6 جلسه به نگارش در آورند. تجزیه و تحلیل این پژوهش با هدف اندازه گیری میزان دقت، پیچیدگی و سلاست نوشت...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2010
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2009.09.015